Proposition Algebra with Projective Limits
نویسندگان
چکیده
Sequential logic deviates from propositional logic by taking into account that atomic propositions yield different Boolean values at different times during the sequential evaluation of a single proposition. Reactive valuations capture this dynamics of a proposition’s environment. This logic is phrased as an equationally specified algebra rather than in the form of proof rules. It is strictly more general than Boolean algebra to the extent that the classical connectives fail to be expressively complete in the sequential case. The proposition algebra PRA is developed in a fashion similar to the process algebra ACP and the program algebra PGA via an algebraic specification which has a meaningful initial algebra for which a range of courser congruences are considered important as well. In addition infinite objects (that is propositions, processes and programs respectively) are preferably dealt with by means of an inverse limit construction which allows the transfer of knowledge concerning finite objects to facts about infinite ones while reducing all facts about infinite objects to an infinity of facts about finite ones in return.
منابع مشابه
Positive Cone in $p$-Operator Projective Tensor Product of Fig`a-Talamanca-Herz Algebras
In this paper we define an order structure on the $p$-operator projective tensor product of Herz algebras and we show that the canonical isometric isomorphism between $A_p(Gtimes H)$ and $A_p(G)widehat{otimes}^p A_p(H)$ is an order isomorphism for amenable groups $G$ and $H$.
متن کاملOn Bounded Approximate Identities and Existence of Dense Ideals in Real Locally C*- and Locally Jb-algebras
It has been established by Inoue that a complex locally C*-algebra with a dense ideal posesses a bounded approximate identity which belonges to that ideal. It has been shown by Fritzsche that if a unital complex locally C*-algebra has an unbounded element then it also has a dense one-sided ideal. In the present paper we obtain analogues of the aforementioned results of Inoue and Fritzsche for r...
متن کاملOn two generalizations of semi-projective modules: SGQ-projective and $pi$-semi-projective
Let $R$ be a ring and $M$ a right $R$-module with $S=End_R(M)$. A module $M$ is called semi-projective if for any epimorphism $f:Mrightarrow N$, where $N$ is a submodule of $M$, and for any homomorphism $g: Mrightarrow N$, there exists $h:Mrightarrow M$ such that $fh=g$. In this paper, we study SGQ-projective and $pi$-semi-projective modules as two generalizations of semi-projective modules. A ...
متن کاملOn Existence and Uniqueness of Universal Enveloping Locally C*-algebra for a Locally Jb-algebra
A theorem is presented on existence and uniqueness up to the topological *-isomorphism of universal locally C*-algebra for an arbitrary locally JB-algebra. The abstract Banach associative symmetrical *-algebras over C, so called C*algebras, were introduces first by Gelfand and Naimark in []. In the present time the theory of C*-algebras become a vast portion of Functional Analysis having connec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/0807.3648 شماره
صفحات -
تاریخ انتشار 2008